high order incompleteness

高位不完全性